Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications)

摘要

Business specifications are essential to describe and understand businesses(and, in particular, business rules) independently of any computing systemsused for their possible automation. They have to express this understanding ina clear, precise, and explicit way, in order to act as a common ground betweenbusiness domain experts and software developers. They also provide the basisfor reuse of concepts and constructs ("patterns") common to all - from financeto telecommunications -, or a large number of, businesses, and in doing so saveintellectual effort, time and money. Moreover, these patterns substantiallyease the elicitation and validation of business specifications duringwalkthroughs with business customers, and support separation of concerns usingviewpoints.